A field <I>E</I> is a finite extension of <i>F</i> provided that  [<i>E:F</i>] is finite.